/*
 * Copyright (c) 1999 World Wide Web Consortium,
 * (Massachusetts Institute of Technology, Institut National de Recherche
 *  en Informatique et en Automatique, Keio University).
 * All Rights Reserved. http://www.w3.org/Consortium/Legal/
 */
using System;

namespace org.w3c.dom.html
{

    /**
     * Create a frame. See the FRAME element definition in HTML 4.0.
     */
    public interface HTMLFrameElement : HTMLElement
    {
        /**
         * Request frame borders. See the frameborder attribute definition in HTML 
         * 4.0.
         */
        String getFrameBorder();
        void setFrameBorder(String frameBorder);
        /**
         * URI designating a long description of this image or frame. See the 
         * longdesc attribute definition in HTML 4.0.
         */
        String getLongDesc();
        void setLongDesc(String longDesc);
        /**
         * Frame margin height, in pixels. See the marginheight attribute definition 
         * in HTML 4.0.
         */
        String getMarginHeight();
        void setMarginHeight(String marginHeight);
        /**
         * Frame margin width, in pixels. See the marginwidth attribute definition 
         * in HTML 4.0.
         */
        String getMarginWidth();
        void setMarginWidth(String marginWidth);
        /**
         * The frame name (object of the <code>target</code> attribute). See the 
         * name attribute definition in HTML 4.0.
         */
        String getName();
        void setName(String name);
        /**
         * When true, forbid user from resizing frame. See the noresize attribute 
         * definition in HTML 4.0.
         */
        bool getNoResize();
        void setNoResize(bool noResize);
        /**
         * Specify whether or not the frame should have scrollbars. See the 
         * scrolling attribute definition in HTML 4.0.
         */
        String getScrolling();
        void setScrolling(String scrolling);
        /**
         * A URI designating the initial frame contents. See the src attribute 
         * definition in HTML 4.0.
         */
        String getSrc();
        void setSrc(String src);
    }

}